rv{-}le($p$;$n$;$X$;$Y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$s$:(\{0..$n$$^{-}$\}$\rightarrow$p{-}outcome($p$)). $X$($s$) $\leq$ $Y$($s$)